modal logic

At first, he developed a modal logic semantics, and has achieved notable successes.

起初，他发展了模态逻辑语义学，并取得了引人注目的成就。

Semantic Analyses of Rough Truth for Axioms in Modal Logic

模态逻辑公理的粗糙真语义分析

The study of modality may date back to Aristotle, who focused his attention on modal logic.

对情态意义的研究可追溯到亚里士多德时期, 当时的研究重点是情态的哲学概念.

The disagreement between modal logic and the double negative construction of the necessity modals originates in the semantic misplacement.

必要性或必然性模态句的双重否定结构在模态逻辑上所出现的不对应现象源于否定词的语义错位。

Modal logic, as a non-classical logic, is different from classical logic.

模态逻辑作为一种 非 古典逻辑是与古典逻辑不同类型的逻辑.

The poof of program correctness is an area of an application of modal logic.

程序正确性证明中应用了模态逻辑；

The book contains an excellent discussion of modal logic.

这本书包含了有关模态逻辑的精彩探讨.

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。